#ifndef _ComparacaoDeCartas_h
#define _ComparacaoDeCartas_h

#include <stdint.h>
#include <stdbool.h>
/* Clause SEES */
#include "Bool_TYPE.h"
#include "SetsCarta.h"

#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */


/* Clause SETS */

/* Clause CONCRETE_VARIABLES */


/* Clause CONCRETE_CONSTANTS */
/* Basic constants */
/* Array and record constants */
extern void ComparacaoDeCartas__INITIALISATION(void);

/* Clause OPERATIONS */

extern void ComparacaoDeCartas__naipe1VenceNaipe2(SetsCarta__naipes naipe1, SetsCarta__naipes naipe2, Bool_TYPE__resposta *naipe1vence2);
extern void ComparacaoDeCartas__valorEmInteiro(SetsCarta__valores valorDeUmaCarta, int32_t *rr);

#ifdef __cplusplus
}
#endif /* __cplusplus */


#endif /* _ComparacaoDeCartas_h */
